This special issue reports on some recent advances in the area of intuitionistic modal type
theories and their application to Computer Science. It collects a selection of papers
presented at the Logic in Computer Science (LICS'99) satellite workshop on Intuitionistic
Modal Logics and Applications (IMLA'99) held at Trento, Italy in July 1999. All of the
contributors to this one day workshop, which was widely attended, were invited to submit a
full and revised version of their papers to this special issue of MSCS. The selection was
based on a second round of peer reviewing.